FINAL REPORT CIFA CONTRACT – FA 4814-04-0011 Voice Stress Analyzer Instrumentation Evaluation

Voice Stress Analyzer Instrumentation Evaluation

AFOSR Grant FA 9550 - 04 - 1 - 0151 Final Performance Report Period Covered

jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java

Design by Contract is a software engineering practice that allows semantic information to be added to a class or interface to precisely specify the conditions that are required for its correct operation. The basic constructs of Design by Contract are method preconditions and postconditions, and class invariants. This paper presents a detailed design and implementation overview of jContractor, a...

Evolutionary Genetics of Cytoplasmic Incompatibility Genes cifA and cifB in Prophage WO of Wolbachia

The bacterial endosymbiont Wolbachia manipulates arthropod reproduction to facilitate its maternal spread through host populations. The most common manipulation is cytoplasmic incompatibility (CI): Wolbachia-infected males produce modified sperm that cause embryonic mortality, unless rescued by embryos harboring the same Wolbachia. The genes underlying CI, cifA and cifB, were recently identifie...

Plasma Sterilization Experiments FA 9550 - 06 - C - 0054

-REPORT DOCUMENTATION PAGE OMB No. 0704-0188 Public reporting burden for this collection of infonnation is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathenng and maintaining the data needed, and completing and reviewing this collection of infortmation. Send comments regarding this burden estimate or any other aspect...